Solving Bit-Vector Equations
نویسندگان
چکیده
This paper is concerned with solving equations on xed and non-xed size bit-vector terms. We deene an equational transformation system for solving equations on terms where all sizes of bit-vectors and extraction positions are known. This transformation system suggests a generalization for dealing with bit-vectors of unknown size and unknown extraction positions. Both solvers adhere to the principle of splitting bit-vectors only on demand, thereby making them quite eeective in practice.
منابع مشابه
Solving Bit-Vector Equations of Fixed and Non-Fixed Size
This report is concerned with solving equations on fixed and non-fixed size bit-vector terms. We define an equational transformation system for solving equations on terms where all sizes of bit-vectors and extraction positions are known. This transformation system suggests a generalization for dealing with bit-vectors of unknown size and unknown extraction positions. Both solvers adhere to the ...
متن کاملSolving Bit - Vector Equations { A Decision Procedure for Hardware Veri
In the Beginning the world was void. And then a voice came and spoke: There shalt be Zero and One. There shalt be a diierence between dark and light, earth and sky water and land. Humanity came. And they claimed to discover things like night and day truth and beauty mind and matter.
متن کاملAn Efficient Numerical Algorithm For Solving Linear Differential Equations of Arbitrary Order And Coefficients
Referring to one of the recent works of the authors, presented in~cite{differentialbpf}, for numerical solution of linear differential equations, an alternative scheme is proposed in this article to considerably improve the accuracy and efficiency. For this purpose, triangular functions as a set of orthogonal functions are used. By using a special representation of the vector forms of triangula...
متن کاملA Fast and Accurate Expansion-Iterative Method for Solving Second Kind Volterra Integral Equations
This article proposes a fast and accurate expansion-iterative method for solving second kind linear Volterra integral equations. The method is based on a special representation of vector forms of triangular functions (TFs) and their operational matrix of integration. By using this approach, solving the integral equation reduces to solve a recurrence relation. The approximate solution of integra...
متن کاملAPPLICATION OF HAAR WAVELETS IN SOLVING NONLINEAR FRACTIONAL FREDHOLM INTEGRO-DIFFERENTIAL EQUATIONS
A novel and eective method based on Haar wavelets and Block Pulse Functions(BPFs) is proposed to solve nonlinear Fredholm integro-dierential equations of fractional order.The operational matrix of Haar wavelets via BPFs is derived and together with Haar waveletoperational matrix of fractional integration are used to transform the mentioned equation to asystem of algebraic equations. Our new met...
متن کامل